41. Research on Tibetan spelling formal language and automata with application /
پدیدآورنده : Nyima Tashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics.,Electronic data processing.,Information technology-- China-- Tibet Autonomous Region.,Tibetan language-- Orthography and spelling-- Data processing.,Computational linguistics.,Electronic data processing.,Information technology.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,China, Tibet Autonomous Region., 7
رده :
P98
.
45
.
T58
42. Structured object-oriented formal language and method
پدیدآورنده : \ Shaoying Liu, Zhenhua Duan (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Object-oriented methods (Computer science) -- Congresses.,Logics and Meanings of Programs,روش‌های صوری (کامپیوتر) -- کنگره ها,شی‌گرایی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S765
2015
E-Book
,
43. Structured object-oriented formal language and method :
پدیدآورنده : Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Object-oriented methods (Computer science), Congresses.,Formal methods (Computer science),Object-oriented methods (Computer science)
رده :
QA76
.
9
.
L63
44. The Formal Complexity of Natural Language
پدیدآورنده : edited by Walter J. Savitch, Emmon Bach, William Marsh, Gila Safran-Naveh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
45. Understanding Z : a specification language and its formal semantics
پدیدآورنده : Spivey, J. M.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Z )Computer program language(,، Computer input-output equipment
رده :
QA
76
.
73
.
Z2S65
1988
46. What Diagrams as a Formal Model Can and Cannot Represent; Examples from Language Family Trees
پدیدآورنده : Kronenfeld, David B.,Kronenfeld, David B.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
47. oriented formal language and method :-Structured object
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
